package guijavacommander;

/**
 * User: Deady
 * Date: 17.07.2009
 * Time: 12:49:54
 */
public interface TabCaptionListener {

    public void setTabCaption(String caption);

}
